package milecToMinisat;

/**
* This enumeration aim to list integer constraints understood
* by MILEC. 
* @author ter-topcased-ups
* @version 0.01, 2008/07/03
* @see 
*/
public enum IntegerConstraintType {
equal { String getMinisatSymbol() { return "=" ; } } ,
different { String getMinisatSymbol() { return "<>" ; } } ,
lessThan { String getMinisatSymbol() { return "<" ; } } ,
lessOrEqual { String getMinisatSymbol() { return "<=" ; } } ,
greater { String getMinisatSymbol() { return ">" ; } } ,
greaterOrEqual { String getMinisatSymbol() { return ">=" ; } } ;

abstract String getMinisatSymbol() ;
}
